13 results
Contributors
-
-
- Book:
- Rule of Law for Nature
- Published online:
- 05 December 2013
- Print publication:
- 21 November 2013, pp x-xii
-
- Chapter
- Export citation
Some representations of Diophantine sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 572-578
- Print publication:
- September 1972
-
- Article
- Export citation
Hans Hermes. Unentscheidbarkeit der Arithmetik. Mathematisch-physikalische Semesterberichte (Göttingen), vol. 11, no. 1 (1964), pp. 20–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Andrzej Mostowski. Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 269–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 1 / June 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
- Print publication:
- June 1967
-
- Article
- Export citation
A. Grzegorczyk. An example of two weak essentially undecidable theories F and F*. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 (1962), pp. 5–9.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 358
- Print publication:
- September 1962
-
- Article
- Export citation
Rózsa Péter. Rekursive Funktionen. Second, enlarged edition. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1957, 278 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
- Print publication:
- September 1958
-
- Article
- Export citation
Arithmetical representation of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 2 / June 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 162-186
- Print publication:
- June 1956
-
- Article
- Export citation
Miloš Neubauer. Sur quelques simplifications de la théorie axiomatique d'ensembles de von Neumann (O nékterých zjednodušeních von Neumannovy axiomatické theorie množin). French with brief Czechic résumé. Časopis pro pěstování matematiky a fysiky, vol. 74 (1950), pp. 142–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- March 1955
-
- Article
- Export citation
Rózsa Péter. Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 (1951), pp. 247–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 3 / September 1953
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
- Print publication:
- September 1953
-
- Article
- Export citation
Rózsa Péter. Rekursive Funktionen. Akadémiai Kiadó (Akademischer Verlag), Budapest1951, 206 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-282
- Print publication:
- December 1951
-
- Article
- Export citation
Arithmetical definability of field elements
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 2 / June 1951
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- June 1951
-
- Article
- Export citation
Finite sequences of classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 10 / Issue 4 / December 1945
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- December 1945
-
- Article
- Export citation
The theory of classes A modification of von Neumann's system
-
- Journal:
- The Journal of Symbolic Logic / Volume 2 / Issue 1 / March 1937
- Published online by Cambridge University Press:
- 12 March 2014, pp. 29-36
- Print publication:
- March 1937
-
- Article
- Export citation